1. Bounded variable logics and counting
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Model theory. ; Computational complexity. ;
2. Bounded variable logics and counting
پدیدآورنده: / Martin Otto
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Model theory.,Computational complexity.
رده :
QA
,
9
.
7
,.
O88
,
1997
3. Bounded variable logics and counting : a study in finite models
پدیدآورنده: Otto, Martin, 1691-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Model theory,، Computational complexity
رده :
QA
9
.
A1L44
Vol
.
9
4. Finite model theory and its applications
پدیدآورنده: Erich Gradel ... [et al.]&
کتابخانه: كتابخانه پژوهشگاه علوم و فناوری رنگ (تهران)
موضوع: Finite model theory,Computational complexity,Constraint databases
رده :
{
1648
},
06fdfb40a6eef9acf992e8ee6bc47b2a
5. Finite model theory and its applications
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Finite model theory. ; Computational complexity. ; Constraint databases. ;
6. Finite model theory and its applications
پدیدآورنده: / Erich Gradel ... [et al.]
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Computational complexity,Constraint databases,Finite model theory
رده :
QA
9
.
7
.
F56
7. Finite model theory and its applications
پدیدآورنده: / Erich Gradel ... [et al.]
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Finite model theory,Computational complexity,Constraint databases
رده :
QA
9
.
7
.
F56
2007
